- logic compiler
- kompilator logiczny
English-Polish dictionary of Electronics and Computer Science. 2013.
logic compiler
Look at other dictionaries:
Logic synthesis — is a process by which an abstract form of desired circuit behavior (typically register transfer level (RTL) or behavioral) is turned into a design implementation in terms of logic gates. Common examples of this process include synthesis of HDLs,… … Wikipedia
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
Compiler correctness — In computing, compiler correctness is the branch of software engineering that deals with trying to show that a compiler behaves according to its language specification[citation needed]. Techniques include developing the compiler using formal… … Wikipedia
Programmable Array Logic — The term Programmable Array Logic (PAL) is used to describe a family of programmable logic device semiconductors used to implement logic functions in digital circuits introduced by Monolithic Memories, Inc. (MMI) in March 1978.cite journal |… … Wikipedia
Silicon compiler — A silicon compiler is a software system that takes a user s specifications and automatically generates an integrated circuit (IC). The process is sometimes referred to as hardware compilation.Silicon compilation takes place in three major steps:… … Wikipedia
Programmable logic device — A programmable logic device or PLD is an electronic component used to build reconfigurable digital circuits. Unlike a logic gate, which has a fixed function, a PLD has an undefined function at the time of manufacture. Before the PLD can be used… … Wikipedia
International Conference on Functional Programming — The International Conference on Functional Programming (ICFP) is an annual academic conference in the field of computer science sponsored by the ACM SIGPLAN, in association with IFIP Working Group 2.8 (Functional Programming).The conference… … Wikipedia
LINC — Logic Information Network Compiler (Unisys.) … IT glossary of terms, acronyms and abbreviations
Quark Framework — CAL Paradigm(s) functional, non strict, modular Appeared in 2004 Designed by Luke Evans, Bo Ilic (Business Objects) Typing discipline static, strong … Wikipedia
History of general purpose CPUs — The history of general purpose CPUs is a continuation of the earlier history of computing hardware. 1950s: early designs Each of the computer designs of the early 1950s was a unique design; there were no upward compatible machines or computer… … Wikipedia
computer — computerlike, adj. /keuhm pyooh teuhr/, n. 1. Also called processor. an electronic device designed to accept data, perform prescribed mathematical and logical operations at high speed, and display the results of these operations. Cf. analog… … Universalium
